منابع مشابه
Dr. Otto Heinrich Warburg—Survivor of Ethical Storms
Otto Heinrich Warburg (1883-1970; not to be confused with the Zionist of the same name) was a member of an illustrious Jewish family, known for some five centuries. From humble beginnings, the family became prominent in the world for their contributions to all aspects of society. The son of a German mother and a Jewish (converted) father, Otto H. Warburg became a major contributor to medical sc...
متن کاملRegular Böhm trees
Böhm trees are the natural infinite generalisations of normal forms in pure λ-calculus. They arose from the work of Böhm on separability (Böhm 1968), and were first identified by Barendregt, who devotes chapter 10 of his book (Barendregt 1980) to their study, and relates denotational models such as D∞ to appropriate quotients over Böhm trees. There is however no generally agreed presentation of...
متن کاملA note on the history of cardiology: Dr. Otto Klein, 1881 to 1968.
a C ardiology has many unsung heroes, even so Dr. Otto lein’s (Fig. 1) history and contribution are exceptionally uried in rarely read pages of old medical journals and in parse citations in books published on the history of ardiology. Otto Klein was born in Pilsen in 1881 in the Czech egion of the Austro-Hungarian Empire. He graduated rom The German Medical School in Prague, and during orld Wa...
متن کاملComputing with Böhm Trees
This paper develops a general technique to analyze the head reduction of a term in a context. This technique is used to give a direct proof of the theorem of Hyland and Wadsworth : two -terms that have the same Böhm trees, up to (possibly infinite) -equivalence, are operationally equivalent. It is also used to prove a conjecture of R. Kerth : Every unsolvable -term has a decoration. This syntac...
متن کاملAn Extensional Böhm Model
We show the existence of an infinitary confluent and normalising extension of the finite extensional lambda calculus with beta and eta. Besides infinite beta reductions also infinite eta reductions are possible in this extension, and terms without head normal form can be reduced to bottom. As corollaries we obtain a simple, syntax based construction of an extensional Böhm model of the finite la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1957
ISSN: 0028-0836,1476-4687
DOI: 10.1038/180017a0